Merge pull request #118 from tsteven4/globalsat2
authortsteven4 <tsteven4@users.noreply.github.com>
Sat, 18 Nov 2017 20:17:07 +0000 (13:17 -0700)
committerGitHub <noreply@github.com>
Sat, 18 Nov 2017 20:17:07 +0000 (13:17 -0700)
fix globalsat dump on windows.


Trivial merge